Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
181	Wiggins/Redstone: An On-line Program Specializer Dean Deaver Rick Gorton Norm Rubin Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:49:36 Software optimization Procedural programming languages Compiler optimization Programming language implementation Profiling Program optimization Just-in-time compilation C Universal Turing machine Software engineering Computing Computer programming
182	A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-31 05:13:11 Turing machine Models of computation Computability theory Alan Turing Register machine Computability Computer Logic Computable number Theoretical computer science Theory of computation Computer science
183	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
184	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
185	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory
186	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
187	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
188	cSplash, Event for High School Students, Courant Institute What is the Numerical Halting Problem? Chee Yap Computer Science Dept, Courant, NYU Mar 29, 2008 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Computer science Theory of computation Models of computation Formal methods Alan Turing Computability Halting problem Turing machine Reduction Theoretical computer science Applied mathematics Computability theory
189	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
190	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics

UPDATE